Jacob Pieter Den Hartog

Pieter Roelfsema

With this motivation, the groups of Michael Groll at the Technical University of Munich and of Marcus Groettrup at the University of Konstanz have recently solved the crystal structures of both the constitutive proteasome and the immunoproteasome of mice, each with and without the epoxyketone PR957, which is the only selective inhibitor of b5i known so far. In addition, the researchers also sol...

Kriterien für den Einsatz Service-orientierter Architekturen in der Unternehmens-IT

Erstellung korrekter Spezifikationen für diskrete Systeme

In dieser Arbeit werden neue Erkenntnisse zur Modellierung und zur Spezifikation von Systemen mit diskreten Zustandsräumen vorgestellt. Ein automatisches Verfahren erlaubt es, unter Berücksichtigung verschiedener Systemeigenschaften, unerwünschte Zustände während der Modellierungsphase zu erkennen und auszuschließen. Das Verfahren besteht aus einer Kombination der Überwachersynthese und der μ-K...

Anwendernahe Wissensmodellierung mittels Logikregeln in frühen Phasen des Softwareentwicklungsprozesses

Dieser Artikel berichtet von unseren Erfahrungen in einem behördlichen Softwareentwicklungsprojekt. Durch den Einsatz moderner Technologien zur Wissensrepräsentation zum einen und dem Ausnutzen existierender Funktionalitäten von Standardsoftware andererseits ist es gelungen, bereits die Spezifikation der Kernfunktionalität sehr implementierungsnah zu gestalten und somit die Lücke zwischen den v...

Ein Bild sagt mehr als tausend Worte - interaktive Visualisierungen in webbasierten Programmieraufgaben

Aus unserem täglichen Leben ist die Informatik kaum noch wegzudenken. Das Smartphone, SmartHome und ein oder andere Wearable umgibt und begleitet uns im Alltag. Nur durch Programme und Computer-Codes sind diese Entwicklungen möglich geworden. Programmieren lernen ist allerdings kein Kinderspiel; und Programmieren lehren auch nicht. Daher sollen die Chancen und Potentiale online-basierter Lehr-/...